[<sup class="expert">hiker</sup>](https://github.com/blanchette/logical_verification_2020/raw/master/hitchhikers_guide.pdf#page={{page}})